67.78/70.56	unsat
