25.76/28.88	unsat
