43.23/45.67	unsat
