25.94/31.80	unsat
