62.65/63.02	unsat
