42.53/45.95	unsat
