25.93/27.90	unsat
