66.37/67.80	unsat
