66.97/69.31	unsat
