43.12/45.05	unsat
