27.65/29.55	unsat
