68.65/71.93	unsat
