67.60/67.84	unsat
