42.25/43.20	unsat
