27.56/28.32	unsat
