45.59/45.82	unsat
