3.58/5.87	unsat
