42.17/42.59	unsat
