27.28/27.31	unsat
