67.23/69.91	unsat
