25.63/26.80	unsat
