27.65/30.18	unsat
