4.64/4.85	unsat
