66.78/67.35	unsat
