29.90/30.05	unsat
