64.41/64.62	unsat
