42.54/42.74	unsat
