4.76/4.85	unsat
