68.82/76.20	unsat
