43.82/45.65	unsat
