66.15/67.95	unsat
