46.58/46.92	unsat
