47.19/47.92	unsat
