40.29/43.05	unsat
