42.00/45.49	unsat
