42.95/43.05	unsat
