66.88/67.73	unsat
