25.75/28.23	unsat
