66.30/66.51	unsat
