4.77/4.85	unsat
