27.50/27.87	unsat
