39.88/42.44	unsat
