44.74/47.05	unsat
