67.05/67.84	unsat
