52.24/70.92	unsat
