67.31/69.78	unsat
