63.65/66.26	unsat
