66.23/67.02	unsat
