62.65/65.07	unsat
