25.93/27.63	unsat
