23.93/27.80	unsat
