64.88/67.07	unsat
