4.58/7.78	unsat
