4.58/5.96	unsat
