42.63/42.71	unsat
