68.31/69.98	unsat
