8.78/8.82	unsat
