27.08/27.17	unsat
