4.58/4.79	unsat
