66.65/68.96	unsat
