1.58/4.18	unsat
