46.16/49.92	unsat
