67.79/69.73	unsat
