27.07/27.17	unsat
