41.57/41.92	unsat
