4.78/4.82	unsat
