27.28/27.32	unsat
