60.65/64.55	unsat
