67.80/69.65	unsat
