4.58/4.87	unsat
