66.80/67.09	unsat
