67.78/72.07	unsat
