63.65/65.92	unsat
