70.78/76.84	unsat
