68.87/69.90	unsat
