48.27/51.56	unsat
