42.31/42.44	unsat
