67.56/69.79	unsat
