25.21/27.80	unsat
