66.50/69.53	unsat
