66.27/68.87	unsat
