42.20/42.35	unsat
