42.60/45.84	unsat
