64.46/64.66	unsat
