25.75/30.80	unsat
