42.20/45.44	unsat
