5.58/5.85	unsat
