42.25/42.90	unsat
