25.85/28.20	unsat
