47.48/50.04	unsat
