3.58/3.92	unsat
