41.95/45.52	unsat
