6.78/7.53	unsat
