47.87/47.92	unsat
