45.50/45.74	unsat
