5.58/7.85	unsat
