consistent policy: use 0-arg solve function
added P07.hs