43.94/48.05	unsat
