47.72/51.13	unsat
