25.17/29.05	unsat
